Principle of distributivity